A deductive system for proving workflow models from operational procedures
نویسندگان
چکیده
منابع مشابه
A deductive system for proving workflow models from operational procedures
Many modern business environments employ software to automate the delivery of workflows; whereas, workflow design and generation remains a laborious technical task for domain specialists. Several different approaches have been proposed for deriving workflow models. Some approaches rely on process data mining approaches, whereas others have proposed derivations of workflow models from operationa...
متن کاملa new approach to credibility premium for zero-inflated poisson models for panel data
هدف اصلی از این تحقیق به دست آوردن و مقایسه حق بیمه باورمندی در مدل های شمارشی گزارش نشده برای داده های طولی می باشد. در این تحقیق حق بیمه های پبش گویی بر اساس توابع ضرر مربع خطا و نمایی محاسبه شده و با هم مقایسه می شود. تمایل به گرفتن پاداش و جایزه یکی از دلایل مهم برای گزارش ندادن تصادفات می باشد و افراد برای استفاده از تخفیف اغلب از گزارش تصادفات با هزینه پائین خودداری می کنند، در این تحقیق ...
15 صفحه اولDeclarative Theorem Proving for Operational Semantics
This dissertation is concerned with techniques for formally checking properties of systems that are described by operational semantics. We describe innovations and tools for tackling this problem, and a large case study in the application of these tools. The innovations centre on the notion of \declarative theorem proving", and in particular techniques for declarative proof description. We de n...
متن کاملProving Finite Satisfiability of Deductive Databases
It is shown how certain refutation methods can be extended into semi-decision procedures that are complete for both unsatisfiability and finite satisfiability. The proposed extension is justified by a new characterization of finite satisfiability. This research was motivated by a database design problem: Deduction rules and integrity constraints in definite databases have to be finitely satisfi...
متن کاملEnterprise Integration : operational models of business processes and workflow systems
The complexity of modern enterprises makes enterprise modeling a major issue. The need for integrating several different features requires a powerful modeling technique, such as CIMOSA, able to represent functional, control, informational and organizational aspects. However, the study of a system yields limited results as long as it only consists of inspecting a static model. More effective res...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Future Generation Computer Systems
سال: 2012
ISSN: 0167-739X
DOI: 10.1016/j.future.2012.01.001